Algebraic Identity: (x y)^2